Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
81	TTSSFade to Grey: Tuning Static Program Analysis Ansgar Fehnker, Ralf Huuck, Sean Seefried and Michael Tapp National ICT Australia Ltd. (NICTA) Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2012-02-08 00:45:45 Compiler construction Software bugs Static program analysis C Dead code Software testing Pointer Static single assignment form Parsing Software engineering Computing Computer programming
82	Counterexample Guided Path Reduction for Static Program Analysis Ansgar Fehnker, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-07-11 06:46:59 Differential equation Function Mathematics Logarithms Substitution of variables
83	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
84	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionDec 2014) Contents Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2014-12-29 14:17:49 Embedded Linux Smartphones Java platform Android Type system Apache Ant Java Software Computing Cross-platform software
85	Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:15:45 Electronic engineering Logic in computer science Software testing Software verification Static program analysis Model checking Formal verification Programming tool Software bug Formal methods Software development Theoretical computer science
86	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionApril 2015) Contents Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2015-04-24 14:10:02 Embedded Linux Smartphones Java platform Android Type system Apache Ant Java Software Computing Cross-platform software
87	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionDecember 2013) Contents Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-12-13 10:11:27 Embedded Linux Cloud clients Android Apache Ant Application software JAR Software Computing Smartphones
88	1 Lots of authors Static Single Assignment Book Tuesday 8th July, 2014 Add to Reading List Source URL: ssabook.gforge.inria.fr Language: English - Date: 2014-07-08 12:41:27 Computing Compiler construction Static single assignment form Register allocation Constant folding Program optimization Algorithm Continuation-passing style Data-flow analysis Compiler optimizations Software engineering Programming language theory
89	User Manual Frama-C User Manual Release BoronLoïc Correnson, Pascal Cuoq, Armand Puccetti and Julien Signoles Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:51 Frama-C Program analysis Procedural programming languages Static program analysis Plug-in C D Computing Software engineering Computer programming
90	User Manual Frama-C User Manual Release OxygenLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:53 Program analysis Computer programming Static program analysis Plug-in Software Frama-C Computing